Hoare logic - PDFSEARCH.IO - Document Search Engine

Hoare logic
Results: 111

#	Item
101	Abstract Predicates and Mutable ADTs in Hoare Type Theory Aleksandar Nanevski1 , Amal Ahmed2 , Greg Morrisett1 , and Lars Birkedal3 1 2 Add to Reading List Source URL: ynot.cs.harvard.edu Language: English - Date: 2011-07-10 14:38:57 Type theory Formal methods Models of computation Functional languages Program logic Hoare logic Lambda calculus Type system Function Programming language theory Mathematics Software engineering
102	Polymorphism and Separation in Hoare Type Theory Aleksandar Nanevski Greg Morrisett Harvard University Add to Reading List Source URL: ynot.cs.harvard.edu Language: English - Date: 2011-07-10 14:38:57 Logic in computer science Program logic Models of computation Programming language semantics Formal methods Denotational semantics Separation logic Hoare logic Lambda calculus Mathematical logic Theoretical computer science Logic
103	Ynot : Reasoning with the Awkward Squad Aleksandar Nanevski Microsoft Research [removed] Greg Morrisett Add to Reading List Source URL: ynot.cs.harvard.edu Language: English - Date: 2011-07-10 14:38:56 Logic Formal methods Logic in computer science Procedural programming languages Predicate transformer semantics Separation logic Hoare logic Vienna Development Method Forcing Mathematical logic Program logic Theoretical computer science
104	Dependent Type Theory of Stateful Higher-Order Functions Aleksandar Nanevski and Greg Morrisett Harvard University {aleks\|greg}@eecs.harvard.edu Abstract Add to Reading List Source URL: ynot.cs.harvard.edu Language: English - Date: 2011-07-10 14:38:57 Program logic Predicate logic Formal methods Logic in computer science Computability theory Hoare logic Lambda calculus First-order logic Separation logic Mathematical logic Mathematics Logic
105	Abstract Predicates and Mutable ADTs in Hoare Type Theory Aleksandar Nanevski Amal Ahmed Greg Morrisett Add to Reading List Source URL: ynot.cs.harvard.edu Language: English - Date: 2011-07-10 14:38:57 Lambda calculus Models of computation Formal methods Computability theory Model theory First-order logic Calculus of constructions Heap Function Mathematical logic Mathematics Theoretical computer science
106	Polymorphism and Separation in Hoare Type Theory Aleksandar Nanevski Harvard University [removed] Greg Morrisett Add to Reading List Source URL: ynot.cs.harvard.edu Language: English - Date: 2011-07-10 14:38:56 Models of computation Lambda calculus Predicate logic Computability theory First-order logic Hoare logic Ordinal number Curry–Howard correspondence Mathematical logic Theoretical computer science Logic
107	Chapter 1 Insight, inspiration and collaboration C. B. Jones, A. W. Roscoe Abstract Tony Hoare’s many contributions to computing science are marked Add to Reading List Source URL: www.cs.ox.ac.uk Language: English - Date: 2013-06-06 21:32:55 Procedural programming languages Turing Award laureates Logic in computer science Fellows of the British Computer Society Programming language semantics Tony Hoare ALGOL Hoare logic Turing Award Software engineering Computing Programming language theory
108	The Gamut of Dynamic Logics∗ Jan van Eijck† and Martin Stokhof‡ 15th July 2005 Abstract Dynamic logic, broadly conceived, is the logic that analyses change by decomposing actions into their basic building blocks an Add to Reading List Source URL: homepages.cwi.nl Language: English - Date: 2010-11-17 11:26:53 Philosophical logic Model theory Non-classical logic Dynamic logic Epistemic modal logic Kripke semantics First-order logic Hoare logic Actor model Logic Mathematical logic Modal logic
109	Local Reasoning about Programs that Alter Data Structures Peter O’Hearn1 , John Reynolds2 , and Hongseok Yang3 Add to Reading List Source URL: www.eecs.qmul.ac.uk Language: English - Date: 2004-02-09 08:02:34 Program logic Logic in computer science Model theory Hoare logic Predicate transformer semantics Modal logic Function Interpretation If and only if Logic Mathematics Mathematical logic
110	Formalization of the General Hoare Logic Laws Aleksandar Kupusinac 1, Dusan Malbaski 1 1 Add to Reading List Source URL: www.temjournal.com Language: English - Date: 2012-08-31 17:30:31 Predicate logic Program logic Model theory Mathematical proofs First-order logic Hoare logic Universal quantification Function Constructible universe Mathematical logic Mathematics Logic

UPDATE